An essay on msic-systems
نویسنده
چکیده
A theory of many-sorted implicative conceptual systems (abbreviated msic-systems) is outlined. Examples of msic-systems include legal systems, normative systems, systems of rules and instructions, and systems expressing policies and various kinds of scienti c theories. In computer science, msic-systems can be used in, for instance, legal information systems, decision support systems, and multi-agent systems. In this essay, msic-systems are approached from a logical and algebraic perspective aiming at clarifying their structure and developing e¤ective methods for representing them. Of special interest are the most narrow links or joinings between di¤erent strata in a system, that is between subsystems of di¤erent sorts of concepts, and the intermediate concepts intervening between such strata. Special emphasis is put on normative systems, and the role that intermediate concepts play in such systems, with an eye on knowledge representation issues. In this essay, normative concepts are constructed out of descriptive concepts using operators based on the Kanger-Lindahl theory of normative positions. An abstract architecture for a norm-regulated multi-agent system is suggested, containing a scheme for how normative positions will restrict the set of actions that the agents are permitted to choose from. Key-words: Concept formation, Intermediary, Intermediate concept, Legal concept, Normative system, Normative position, Norm-regulated system, Agent architecture.
منابع مشابه
A Mixed Method Study of Interventionist DA: A Case of Introvert vs. Extrovert EFL Learners’ Academic Essay Writing
Today, great a number of assessment methods have been practiced in educational systems. However, Dynamic Assessment (DA), as the modern assessment method with its emphasis on improvement and development of learning through joining teaching and assessment, is of paramount significance. Thus, one can call DA as a major and revolutionizing factor in teaching and assessment. So far, some conducted ...
متن کاملLow Power MSIC Signatures for Effective BIST Design
In BIST architecture the ATPG is the one of important consideration .the performance also the depends on the appropriate ATPG generation .in our paper we propose the novel method of multiple single input change (MSIC) test patterns that are intended for the scan chain. In order to develop any method we need to consider the area and power aspects for the advanced VLSI designs, and also able to p...
متن کاملMultistage Linear Successive Interference Cancellation for Multipath Decorrelating Detection in Fading Channels
In order to reduce the computational complexity of the decorrelating detector in multipath fading asynchronous CDMA channels, we consider implementing it by linear multistage successive interference cancellation (MSIC), derived from the Gauss-Seidel iterations. In this paper we propose a multipath decorrelating SIC (MD-SIC) with differentially coherent equal gain combining (DEGC). The convergen...
متن کامل